Buy Used and New Alexandra Silva Books

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642294846

Format: Paperback (355 pages)
Publisher: Springer
Published: 11 Apr 2012

Save for later

Foundations of Probabilistic Programming

by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva

ISBN 13: 9781108488518

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 03 Dec 2020

Save for later

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings: 13038 (Lecture Notes in Computer Science, 13038)

by Alexandra Silva,Renata Wassermann,Ruy de Queiroz

ISBN 13: 9783030888527

Format: Paperback (435 pages)
Publisher: Springer
Published: 06 Oct 2021

Save for later

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II: 12760 (Lecture Notes in Computer Science)

by Alexandra Silva,K. Rustan M. Leino

ISBN 13: 9783030816872

Format: Paperback (966 pages)
Publisher: Springer
Published: 17 Jul 2021

Save for later